<html>
<head><meta charset="utf-8"><title>meeting 2019.10.22 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html">meeting 2019.10.22</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="178771621"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178771621" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178771621">(Oct 22 2019 at 16:23)</a>:</h4>
<p>I think Albin is at SPLASH today, so I'm not sure there will be many people tonight (in 2.5 hours).</p>



<a name="178771636"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178771636" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178771636">(Oct 22 2019 at 16:23)</a>:</h4>
<p>I guess I can give my update now: I've worked on placeholder loans (and there is a <a href="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/placeholder.20loans" title="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/placeholder.20loans">dedicated thread</a> with a couple thoughts/concerns) and I've since then added it to <code>DatafrogOpt</code>. All in all it was easy and I should have done it sooner. And it's at least compatible with pruning/focusing on invalidated loans (or potential loan errors from <code>LocationInsensitive</code>, but as mentioned in the thread, these errors kinda defeat the usefulness of this variant right now)</p>



<a name="178771706"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178771706" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178771706">(Oct 22 2019 at 16:24)</a>:</h4>
<p>No PR yet, because of the existing PRs in-flight and I'm unsure on how best to report these different kinds of errors, eg contexts from <a href="https://github.com/rust-lang/rust/issues/134" target="_blank" title="https://github.com/rust-lang/rust/issues/134">#134</a> changes how the variants return errors, so feedback on the general direction could affect what I've done for illegal subset errors. Albin is somewhat in the same boat for their initialization PR, with move errors (and I'm not at all aware of the plans about those, or when they are expected to be computed, and the impact of initialization on performance).</p>



<a name="178771793"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178771793" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178771793">(Oct 22 2019 at 16:25)</a>:</h4>
<p>if someone is here tonight we can chat, but otherwise apart from this work on placeholder loans (and some random things not particularly worth discussing like parser work for eventually moving off of lalrpop), things/questions/etc are looking very much like last week</p>



<a name="178785600"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178785600" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178785600">(Oct 22 2019 at 19:04)</a>:</h4>
<p>hey all</p>



<a name="178785606"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178785606" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178785606">(Oct 22 2019 at 19:04)</a>:</h4>
<p>I was having issues with the zulip app</p>



<a name="178785621"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178785621" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178785621">(Oct 22 2019 at 19:04)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="178785639"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178785639" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178785639">(Oct 22 2019 at 19:04)</a>:</h4>
<p>I was hoping to spend the last 30 minutes or so catching up on polonius threads but...</p>



<a name="178785645"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178785645" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178785645">(Oct 22 2019 at 19:04)</a>:</h4>
<p>I guess the website is working though, so maybe i'll do that now</p>



<a name="178785650"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178785650" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178785650">(Oct 22 2019 at 19:04)</a>:</h4>
<p>my talk went well I think</p>



<a name="178785658"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178785658" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178785658">(Oct 22 2019 at 19:04)</a>:</h4>
<p>ah nice I was about to ask</p>



<a name="178785766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178785766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178785766">(Oct 22 2019 at 19:06)</a>:</h4>
<p>did people have questions ?</p>



<a name="178785814"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178785814" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178785814">(Oct 22 2019 at 19:06)</a>:</h4>
<p>yes, lots</p>



<a name="178785827"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178785827" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178785827">(Oct 22 2019 at 19:06)</a>:</h4>
<p>I stopped in the middle to let people ask questions and they did not disappoint</p>



<a name="178785850"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178785850" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178785850">(Oct 22 2019 at 19:07)</a>:</h4>
<p>which I think was good because for people to really <em>get it</em>, you kind of had to say it 3 or 4 times in a row</p>



<a name="178785851"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178785851" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178785851">(Oct 22 2019 at 19:07)</a>:</h4>
<p>oh :)</p>



<a name="178785859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178785859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178785859">(Oct 22 2019 at 19:07)</a>:</h4>
<p>and having people ask questions gave me a chance to do that</p>



<a name="178785865"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178785865" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178785865">(Oct 22 2019 at 19:07)</a>:</h4>
<p>without sounds repetitive :)</p>



<a name="178785881"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178785881" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178785881">(Oct 22 2019 at 19:07)</a>:</h4>
<p>that's lucky and useful :)</p>



<a name="178785892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178785892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178785892">(Oct 22 2019 at 19:07)</a>:</h4>
<p>there should be a video at some point</p>



<a name="178785907"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178785907" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178785907">(Oct 22 2019 at 19:07)</a>:</h4>
<p>though I believe carol10cents was promising bad things for the next person to ask for a specific date</p>



<a name="178785956"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178785956" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178785956">(Oct 22 2019 at 19:08)</a>:</h4>
<p>ok so shall I go catch up on threads?</p>



<a name="178785966"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178785966" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178785966">(Oct 22 2019 at 19:08)</a>:</h4>
<p>sure, if you have some time</p>



<a name="178786069"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178786069" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178786069">(Oct 22 2019 at 19:09)</a>:</h4>
<blockquote>
<p>though I believe carol10cents was promising bad things for the next person to ask for a specific date</p>
</blockquote>
<p>= the exact reason why I didn't ask for when it would be available ^^<br>
tho shep mentioned you had a shoutout to the WG at the end :)</p>



<a name="178786132"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178786132" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178786132">(Oct 22 2019 at 19:09)</a>:</h4>
<p>heh yes I did</p>



<a name="178786289"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178786289" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178786289">(Oct 22 2019 at 19:10)</a>:</h4>
<p><a href="https://nikomatsakis.github.io/rust-belt-rust-2019/#97" target="_blank" title="https://nikomatsakis.github.io/rust-belt-rust-2019/#97">https://nikomatsakis.github.io/rust-belt-rust-2019/#97</a></p>



<a name="178786321"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178786321" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178786321">(Oct 22 2019 at 19:10)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> I was thinking --</p>



<a name="178786443"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178786443" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178786443">(Oct 22 2019 at 19:11)</a>:</h4>
<p>I'm still having this feeling like "gah there are so many threads of exploration", feeling a bit  overwhelmed by it all :)</p>



<a name="178786480"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178786480" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178786480">(Oct 22 2019 at 19:11)</a>:</h4>
<p>probably because I just haven't had many spare cycles to really check in but</p>



<a name="178786505"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178786505" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178786505">(Oct 22 2019 at 19:11)</a>:</h4>
<p>I think it'd be good for us to start landing some of those great work you've been doing</p>



<a name="178786561"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178786561" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178786561">(Oct 22 2019 at 19:11)</a>:</h4>
<p>what do you think about the "datafrog compiler"?</p>



<a name="178786571"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178786571" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178786571">(Oct 22 2019 at 19:11)</a>:</h4>
<p>(to start)</p>



<a name="178786601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178786601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178786601">(Oct 22 2019 at 19:11)</a>:</h4>
<p>it looked pretty awesome</p>



<a name="178786696"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178786696" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178786696">(Oct 22 2019 at 19:12)</a>:</h4>
<p>there are a lot of threads :)</p>



<a name="178786719"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178786719" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178786719">(Oct 22 2019 at 19:12)</a>:</h4>
<p>land it in datafrog ?</p>



<a name="178786737"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178786737" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178786737">(Oct 22 2019 at 19:12)</a>:</h4>
<p>well</p>



<a name="178786770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178786770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178786770">(Oct 22 2019 at 19:12)</a>:</h4>
<p>maybe</p>



<a name="178786777"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178786777" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178786777">(Oct 22 2019 at 19:12)</a>:</h4>
<p>yeah probably</p>



<a name="178786812"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178786812" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178786812">(Oct 22 2019 at 19:12)</a>:</h4>
<p>not same crate I would say</p>



<a name="178786826"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178786826" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178786826">(Oct 22 2019 at 19:12)</a>:</h4>
<p>but I think same repo is probably logical</p>



<a name="178786898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178786898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178786898">(Oct 22 2019 at 19:13)</a>:</h4>
<p>I had published it temporarily in <a href="https://github.com/lqd/datapond" target="_blank" title="https://github.com/lqd/datapond">https://github.com/lqd/datapond</a> for Vytautas to play around</p>



<a name="178786927"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178786927" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178786927">(Oct 22 2019 at 19:13)</a>:</h4>
<p>one thing I am thinking about is</p>



<a name="178786947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178786947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178786947">(Oct 22 2019 at 19:13)</a>:</h4>
<p>the role of the more optimized variants</p>



<a name="178786978"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178786978" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178786978">(Oct 22 2019 at 19:13)</a>:</h4>
<p>I would kind of like to "pare back" the repo dramatically</p>



<a name="178786993"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178786993" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178786993">(Oct 22 2019 at 19:13)</a>:</h4>
<p>and dogfood it a bit before upstreaming but yeah we can do that whenever</p>



<a name="178787047"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178787047" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178787047">(Oct 22 2019 at 19:13)</a>:</h4>
<p>it seemed like you were able to make naive "competitive" by applying some filtering</p>



<a name="178787182"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178787182" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178787182">(Oct 22 2019 at 19:14)</a>:</h4>
<p>I think right now I'm feeling like I'm not that interested in perf, it seems like (as we've said) we should be focusing on figuring out the full computation first</p>



<a name="178787188"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178787188" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178787188">(Oct 22 2019 at 19:14)</a>:</h4>
<p>I'd like to check this on a bigger set of benchmarks for sure tho</p>



<a name="178787242"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178787242" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178787242">(Oct 22 2019 at 19:14)</a>:</h4>
<p>and I will say that your compiler seems like it offers a big win -- if the only problem is we lose leapjoin, well, that's just perf we can recover later</p>



<a name="178787279"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178787279" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178787279">(Oct 22 2019 at 19:14)</a>:</h4>
<blockquote>
<p>I'd like to check this on a bigger set of benchmarks for sure tho</p>
</blockquote>
<p>the main thing would be if running the x.py test suite takes like 200 years</p>



<a name="178787292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178787292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178787292">(Oct 22 2019 at 19:14)</a>:</h4>
<p>that seems like a problem</p>



<a name="178787364"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178787364" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178787364">(Oct 22 2019 at 19:14)</a>:</h4>
<p>it's not that severe, but the OOMs are a blocker</p>



<a name="178787557"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178787557" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178787557">(Oct 22 2019 at 19:15)</a>:</h4>
<p>(and probably the Hybrid variant helps in keeping a lot of tests from going through the costlier variant)</p>



<a name="178787724"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178787724" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178787724">(Oct 22 2019 at 19:16)</a>:</h4>
<p>also initialization and liveness (the latter can be similarly pruned if my understanding is correct) are dominating right now</p>



<a name="178787734"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178787734" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178787734">(Oct 22 2019 at 19:16)</a>:</h4>
<p>yeah so keeping the hybrid setup might be ok too</p>



<a name="178787978"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178787978" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178787978">(Oct 22 2019 at 19:17)</a>:</h4>
<p>I guess it's not <em>that</em> important to remove datafrog-opt</p>



<a name="178787984"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178787984" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178787984">(Oct 22 2019 at 19:17)</a>:</h4>
<p>but yeah it would be interesting to have some holistic design, wrt to all the different parts of computations, the errors they each produce, etc</p>



<a name="178788132"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178788132" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178788132">(Oct 22 2019 at 19:18)</a>:</h4>
<p>yes, I'm mostly feeling an urge to get the "big picture" cleared up</p>



<a name="178788151"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178788151" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178788151">(Oct 22 2019 at 19:18)</a>:</h4>
<p>anyway I guess I'll go study threads a bit</p>



<a name="178788166"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178788166" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178788166">(Oct 22 2019 at 19:18)</a>:</h4>
<p>but I watned to put that out there</p>



<a name="178788223"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178788223" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178788223">(Oct 22 2019 at 19:18)</a>:</h4>
<p>second thought is that I want to think about doing some kind of "polonius work week"</p>



<a name="178788238"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178788238" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178788238">(Oct 22 2019 at 19:18)</a>:</h4>
<p>there is some premise of that in one of the PRs</p>



<a name="178788287"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178788287" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178788287">(Oct 22 2019 at 19:18)</a>:</h4>
<p>not necessarily a week, but basically finding some period of time where we can try to do a sprint of sustained attention</p>



<a name="178788347"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178788347" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178788347">(Oct 22 2019 at 19:19)</a>:</h4>
<p>that would be super nice</p>



<a name="178788370"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178788370" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178788370">(Oct 22 2019 at 19:19)</a>:</h4>
<p>I feel like we could make a lot of progress that way</p>



<a name="178788400"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178788400" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178788400">(Oct 22 2019 at 19:19)</a>:</h4>
<p>yeah, same</p>



<a name="178788528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178788528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178788528">(Oct 22 2019 at 19:19)</a>:</h4>
<p>having a lot of "disjointed" work can be counterproductive</p>



<a name="178788612"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178788612" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178788612">(Oct 22 2019 at 19:20)</a>:</h4>
<p>Agreed!</p>



<a name="178788648"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178788648" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178788648">(Oct 22 2019 at 19:20)</a>:</h4>
<p>I feel like I could plan to take one of the upcoming weeks, or a lot o fit</p>



<a name="178788693"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178788693" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178788693">(Oct 22 2019 at 19:20)</a>:</h4>
<p>/me has earned a "vacation" dang it :P</p>



<a name="178788732"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178788732" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178788732">(Oct 22 2019 at 19:20)</a>:</h4>
<p>YES</p>



<a name="178788771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178788771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178788771">(Oct 22 2019 at 19:20)</a>:</h4>
<p>a more crazy idea would be to fly out to France or Europe somewhere :P</p>



<a name="178788796"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178788796" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178788796">(Oct 22 2019 at 19:20)</a>:</h4>
<p>:D</p>



<a name="178788806"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178788806" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178788806">(Oct 22 2019 at 19:20)</a>:</h4>
<p>but I'd have to bring my family with or they would kill me ;)</p>



<a name="178788848"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178788848" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178788848">(Oct 22 2019 at 19:21)</a>:</h4>
<p>the more the merrier</p>



<a name="178788968"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178788968" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178788968">(Oct 22 2019 at 19:21)</a>:</h4>
<p>anyway, presuming I did not fly to Europe, but rather we just kind of planned to do a sprint in a few weeks or something -- seems like y'all would be into that? I wasn't sure how it would work out with jobs etc :)</p>



<a name="178789030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178789030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178789030">(Oct 22 2019 at 19:21)</a>:</h4>
<p>yeah something can be worked out :)</p>



<a name="178789179"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178789179" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178789179">(Oct 22 2019 at 19:22)</a>:</h4>
<p>(there were a lot of different things to do tbf, I'm not saying it's <em>wrong</em> for us to have been doing it the way we have, esp as I'm the one bumbling around in many different directions :)</p>



<a name="178789416"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178789416" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178789416">(Oct 22 2019 at 19:23)</a>:</h4>
<p>no, not wrong</p>



<a name="178789475"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178789475" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178789475">(Oct 22 2019 at 19:23)</a>:</h4>
<p>it just feels like it'd be good to pull things together again</p>



<a name="178789504"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178789504" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178789504">(Oct 22 2019 at 19:23)</a>:</h4>
<p>right exactly</p>



<a name="178789604"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178789604" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178789604">(Oct 22 2019 at 19:24)</a>:</h4>
<p>I have to go, but I’ll read up on what you are doing</p>



<a name="178789606"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178789606" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178789606">(Oct 22 2019 at 19:24)</a>:</h4>
<p>and have a clear vision for the rest of the things needing to be done</p>



<a name="178789718"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178789718" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178789718">(Oct 22 2019 at 19:24)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> enjoying SPLASH hopefully :)</p>



<a name="178789901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178789901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178789901">(Oct 22 2019 at 19:25)</a>:</h4>
<p>ok let me look at calendar, but I'm excited about this idea</p>



<a name="178789919"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178789919" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178789919">(Oct 22 2019 at 19:25)</a>:</h4>
<p>Right now I’m probably going to bed because I have to be student volunteering at 7:30 tomorrow, at the reception when we will have the big onslaught of visitors to get their badges but yes</p>



<a name="178789971"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178789971" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178789971">(Oct 22 2019 at 19:25)</a>:</h4>
<p>there's rustfest soon (9-10 nov IIRC)</p>



<a name="178790563"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178790563" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178790563">(Oct 22 2019 at 19:30)</a>:</h4>
<p>Hmm, I wasn't planning on attending rustfest, but I suppose I could conceivably try to crash last minute</p>



<a name="178790579"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178790579" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178790579">(Oct 22 2019 at 19:30)</a>:</h4>
<p>but I think it'd really be a lot more realistic to just try to work remotely as usual ;)</p>



<a name="178790588"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178790588" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178790588">(Oct 22 2019 at 19:30)</a>:</h4>
<p>are y'all going?</p>



<a name="178790620"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178790620" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178790620">(Oct 22 2019 at 19:31)</a>:</h4>
<p>I am</p>



<a name="178790634"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178790634" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178790634">(Oct 22 2019 at 19:31)</a>:</h4>
<p>I don't think Albin is</p>



<a name="178790743"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178790743" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178790743">(Oct 22 2019 at 19:32)</a>:</h4>
<p>(oli, vytautas, pietro &amp; tmandry ofc, etc)</p>



<a name="178790773"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178790773" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178790773">(Oct 22 2019 at 19:32)</a>:</h4>
<p>I wouldn't be super available around those dates</p>



<a name="178790827"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178790827" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178790827">(Oct 22 2019 at 19:33)</a>:</h4>
<p>so working remotely is no problem at all</p>



<a name="178792417"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178792417" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178792417">(Oct 22 2019 at 19:51)</a>:</h4>
<p>I'm not going :(</p>



<a name="178792448"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178792448" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178792448">(Oct 22 2019 at 19:51)</a>:</h4>
<p>Ooooo I wonder if I have vacation days I can take out, I'll have to look into that</p>



<a name="178792519"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178792519" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178792519">(Oct 22 2019 at 19:52)</a>:</h4>
<p>...oh wait, that's a weekend</p>



<a name="178792643"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178792643" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178792643">(Oct 22 2019 at 19:54)</a>:</h4>
<p>tickets might be sold out :/</p>



<a name="178792756"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178792756" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178792756">(Oct 22 2019 at 19:55)</a>:</h4>
<p>I didn't mean I would go, but I could certainly be available</p>



<a name="178792856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178792856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178792856">(Oct 22 2019 at 19:56)</a>:</h4>
<p>(I'm waiting for my flatmate to come home so I can sleep; we have exactly one key to the AirBnB)</p>



<a name="178798556"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178798556" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178798556">(Oct 22 2019 at 20:56)</a>:</h4>
<blockquote>
<p><a href="https://nikomatsakis.github.io/rust-belt-rust-2019/#97" target="_blank" title="https://nikomatsakis.github.io/rust-belt-rust-2019/#97">https://nikomatsakis.github.io/rust-belt-rust-2019/#97</a></p>
</blockquote>
<p>omg &lt;3 <br>
also loving the one for <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> :)</p>



<a name="178798612"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178798612" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178798612">(Oct 22 2019 at 20:57)</a>:</h4>
<p>thanks <span class="user-mention" data-user-id="116009">@nikomatsakis</span> :)</p>



<a name="178843232"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.10.22/near/178843232" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E10.2E22.html#178843232">(Oct 23 2019 at 11:14)</a>:</h4>
<p>Yeah thanks</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>